Formal System Verification: State-of The-Art and Future Trends

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2018 Utgivningsland okänt / Ej specificerat